Scagnetto, Ivan: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Plugging-in proof development environments using Locks in LF

HONSELL, FURIO, LIQUORI, LUIGI, MAKSIMOVIĆ, PETAR, SCAGNETTO, IVAN

Journal:

Mathematical Structures in Computer Science

Year:

2018

Language:

english

File:

PDF, 549 KB

english, 2018

2

Context-Aware Browser

Coppola, Paolo, Della Mea, Vincenzo, Di Gaspero, Luca, Menegon, Davide, Mischis, Danny, Mizzaro, Stefano, Scagnetto, Ivan, Vassena, Luca

Journal:

IEEE Intelligent Systems and their Applications

Year:

2009

Language:

english

File:

PDF, 1.74 MB

english, 2009

3

Consistency of the theory of contexts

BUCALO, ANNA, HONSELL, FURIO, MICULAN, MARINO, SCAGNETTO, IVAN, HOFFMAN, MARTIN

Journal:

Journal of Functional Programming

Year:

2006

Language:

english

File:

PDF, 374 KB

english, 2006

4

[ACM Press the first international workshop - Gold Coast, Queensland, Australia (2014.07.11-2014.07.11)] Proceedings of the first international workshop on Social media retrieval and analysis - SoMeRA '14 - Short text categorization exploiting contextual enrichment and external knowledge

Mizzaro, Stefano, Pavan, Marco, Scagnetto, Ivan, Valenti, Martino

Year:

2014

Language:

english

File:

PDF, 659 KB

english, 2014

5

The Theory of Contexts for First Order and Higher Order Abstract Syntax

Furio Honsell, Marino Miculan, Ivan Scagnetto

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 201 KB

english, 2002

6

Mobile Search Behaviors: An In‐Depth Analysis Based on Contexts, APPs, and Devices. DanWu and ShaoboLiang. Synthesis Lectures on Information Concepts, Retrieval, and Services. San Rafael, CA: Morgan & Claypool, 2018. 159 pp. $51.96 (e‐book). (ISBN 9781681733005).

Mizzaro, Stefano, Scagnetto, Ivan

Journal:

Journal of the Association for Information Science and Technology

Year:

2019

Language:

english

File:

PDF, 136 KB

english, 2019

7

An open logical framework

Honsell, Furio, Lenisa, Marina, Scagnetto, Ivan, Liquori, Luigi, Maksimovic, Petar

Journal:

Journal of Logic and Computation

Year:

2013

Language:

english

File:

PDF, 1.60 MB

english, 2013

8

[ACM Press the seventh international workshop - Copenhagen, Denmark (2012.09.09-2012.09.09)] Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice - LFMTP '12 - LF P

Honsell, Furio, Lenisa, Marina, Liquori, Luigi, Maksimovic, Petar, Scagnetto, Ivan

Year:

2012

Language:

english

File:

PDF, 732 KB

english, 2012

9

[ACM Press the 2014 International Workshop - Vienna, Austria (2014.07.17-2014.07.17)] Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice - LFMTP '14 - Internal Adequacy of Bookkeeping in Coq

Ciaffaglione, Alberto, Scagnetto, Ivan

Year:

2014

Language:

english

File:

PDF, 289 KB

english, 2014

10

[ACM Press the ACM symposium - Baniff, Alberta, Canada (2001.11.15-2001.11.17)] Proceedings of the ACM symposium on Virtual reality software and technology - VRST '01 - Is semitransparency useful for navigating virtual environments?

Chittaro, Luca, Scagnetto, Ivan

Year:

2001

Language:

english

File:

PDF, 717 KB

english, 2001

11

[ACM Press the Workshop - Oxford, United Kingdom (2017.09.08-2017.09.08)] Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice - LFMTP '17 - Towards a Logical Framework with Intersection and Union Types

Stolze, Claude, Liquori, Luigi, Honsell, Furio, Scagnetto, Ivan

Year:

2017

File:

PDF, 690 KB

2017

12

Ambient Calculus and its Logic in the Calculus of Inductive Constructions

Ivan Scagnetto, Marino Miculan

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 240 KB

english, 2002

13

[ACM Press the 4th Workshop - Amsterdam, The Netherlands (2014.04.13-2014.04.13)] Proceedings of the 4th Workshop on Context-Awareness in Retrieval and Recommendation - CARR '14 - A context-aware retrieval system for mobile applications

Mizzaro, Stefano, Pavan, Marco, Scagnetto, Ivan, Zanello, Ivano

Year:

2014

Language:

english

File:

PDF, 593 KB

english, 2014

14

The Context-Aware Browser

Coppola, Paolo, Della Mea, Vincenzo, Di Gaspero, Luca, Menegon, Davide, Mischis, Danny, Mizzaro, Stefano, Scagnetto, Ivan, Vassena, Luca

Journal:

IEEE Intelligent Systems

Year:

2010

Language:

english

File:

PDF, 1.09 MB

english, 2010

15

[ACM Press the Workshop - Oxford, United Kingdom (2017.09.08-2017.09.08)] Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice - LFMTP '17 - Towards a Logical Framework with Intersection and Union Types

Stolze, Claude, Liquori, Luigi, Honsell, Furio, Scagnetto, Ivan

Year:

2017

Language:

english

File:

PDF, 690 KB

english, 2017

16

π-calculus in (Co)inductive-type theory

Furio Honsell, Marino Miculan, Ivan Scagnetto

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 312 KB

english, 2001

17

[SpringerBriefs in Computer Science] Mobile Information Retrieval ||

Crestani, Fabio, Mizzaro, Stefano, Scagnetto, Ivan

Year:

2017

Language:

english

File:

PDF, 2.25 MB

english, 2017

18

Plug and Play the Theory of Contexts in Higher-Order Abstract Syntax

Alberto Ciaffaglione, Ivan Scagnetto

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 249 KB

english, 2004

19

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 4941 || Algorithmic Equality in Heyting Arithmetic Modulo

Miculan, Marino, Scagnetto, Ivan, Honsell, Furio

Year:

2008

Language:

english

File:

PDF, 470 KB

english, 2008

20

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 4941 || Attributive Types for Proof Erasure

Miculan, Marino, Scagnetto, Ivan, Honsell, Furio

Year:

2008

Language:

english

File:

PDF, 555 KB

english, 2008

21

[ACM Press the 3rd ACM SIGPLAN workshop - Tallinn, Estonia (2005.09.30-2005.09.30)] Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding - MERLIN '05 - Translating specifications from nominal logic to CIC with the theory of contexts

Miculan, Marino, Scagnetto, Ivan, Honsell, Furio

Year:

2005

Language:

english

File:

PDF, 254 KB

english, 2005

22

Mechanizing type environments in weak HOAS

Ciaffaglione, Alberto, Scagnetto, Ivan

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 439 KB

english, 2015

23

[IEEE 2015 16th IEEE International Conference on Mobile Data Management (MDM) - Pittsburgh, PA, USA (2015.6.15-2015.6.18)] 2015 16th IEEE International Conference on Mobile Data Management - Finding Important Locations: A Feature-Based Approach

Pavan, Marco, Mizzaro, Stefano, Scagnetto, Ivan, Beggiato, Andrea

Year:

2015

Language:

english

File:

PDF, 629 KB

english, 2015

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски